package com.googlecode.kipler.satisfiability.interpolation;

import com.googlecode.kipler.syntax.concept.ConceptName;
import com.googlecode.kipler.syntax.formula.ConceptAssertion;

public class InterpolationConstants {
	public static ConceptAssertion undef() {
		return new ConceptAssertion(new ConceptName(
				"http://code.google.com/p/kipler#undef"), "0");
	}
}
